DL-Lite Contraction and Revision
نویسندگان
چکیده
منابع مشابه
DL-Lite Contraction and Revision
Two essential tasks in managing description logic knowledge bases are eliminating problematic axioms and incorporating newly formed ones. Such elimination and incorporation are formalised as the operations of contraction and revision in belief change. In this paper, we deal with contraction and revision for the DL-Lite family through a model-theoretic approach. Standard description logic semant...
متن کاملContraction and Revision over DL-Lite TBoxes
Two essential tasks in managing Description Logic (DL) ontologies are eliminating problematic axioms and incorporating newly formed axioms. Such elimination and incorporation are formalised as the operations of contraction and revision in belief change. In this paper, we deal with contraction and revision for the DL-Lite family through a model-theoretic approach. Standard DL semantics yields in...
متن کاملBelief Contraction and Revision over DL-Lite TBoxes
In this paper, we study the operations of contraction and revision for removing and incorporating axioms over DL-Litecore and DL-LiteR TBoxes (Calvanese et al. 2007). The operations are defined in the manner of AGM model-based contraction and revision (Grove 1988; Katsuno and Mendelzon 1992) and are based on a newly defined semantics called type semantics. We show that, as an alternative to des...
متن کاملRevision of DL-Lite Knowledge Bases
We address the revision problem for knowledge bases (KBs) in Description Logics (DLs). This problem has received much attention in the ontology management and DL communities, but the existing proposals are restricted in several ways. In this paper we develop a formal framework for revision of DL-Lite KBs, using techniques that are analogous to those for model-based revision in propositional log...
متن کاملInstance-driven TBox Revision in DL-Lite
The development and maintenance of large and complex ontologies are often time-consuming and error-prone. Thus, automated ontology learning and revision have attracted intensive research interest. In data-centric applications where ontologies are designed or automatically learnt from the data, when new data instances are added that contradict to the ontology, it is often desirable to incrementa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Artificial Intelligence Research
سال: 2016
ISSN: 1076-9757
DOI: 10.1613/jair.5050